Universal logic - PDFSEARCH.IO - Document Search Engine

Universal logic
Results: 479

#	Item
61	Proceedings Template - WORD Add to Reading List Source URL: oa.upm.es Language: English Mathematical logic Arity Finitary relation Structure Binary relation Inverse relationship Relation Inverse element Inverse Mathematics Universal algebra Abstract algebra
62	Genesys Logic, Inc. 12F, No. 205, Sec. 3, Beixin Rd., Xindian Dist. 231, New Taipei City, Taiwan Tel: Fax:http://www.genesyslogic.com Add to Reading List Source URL: www.usb.org Language: English - Date: 2015-05-30 08:46:43 USB 3.0 USB hub Serial ATA USB mass-storage device class IEEE Computer hardware USB Universal Serial Bus
63	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
64	Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-18 17:24:35 Mathematical logic Universal quantification Uniform space Linear temporal logic Μ operator Mathematics Function Topology
65	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
66	RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-06-07 10:17:14 Model theory Boolean algebra Order theory Non-standard analysis Universal algebra Ultrafilter Symbol Structure Ultraproduct Mathematics Mathematical logic Logic
67	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
68	Compressive sensing using locality-preserving matrices Elyot Grant∗ Piotr Indyk∗ December 4, 2012 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-10 19:22:49 Error detection and correction Information retrieval Artificial intelligence Computational complexity theory Universal hashing Lipschitz continuity Hash function Combinatory logic Tabulation hashing Search algorithms Hashing Theoretical computer science
69	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
70	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification

UPDATE